Aggregated occupation measures and linear programming approach to constrained impulse control problems

For a constrained optimal impulse control problem of an abstract dynamical system, we introduce the occupation measures along with aggregated and present two associated linear programs. We prove that programs are equivalent under appropriate conditions, each program gives rise to strategy in original problem. In particular, show absence relaxation gap. By means example, also detailed comparison introduced here related notions literature.